1. First-order dynamic logic
المؤلف: Harel, David
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
6
.
H34
1979
2. First-order dynamic logic
المؤلف: Harel, David
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
L4
v
.
68
3. Introduction to logic programming
المؤلف: Hogger, Christorpher John
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H624
1984
4. Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
T4414
1994
5. Temporal logic : mathematical foundations and computational aspects
المؤلف: Gabbay, Dov M.
المکتبة: (طهران)
موضوع: Electronic digital computers - Programming , Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
G27
1994
6. Temporal logic of programs
المؤلف: / Fred Kroger
المکتبة: (طهران)
موضوع: Electronic digital computers -- Programming,Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
7. Temporal logic of programs
المؤلف: Kroger, Fred
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
8. Temporal logic of programs
المؤلف: Kroger, Fred
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
9. The logical basis for computer programming
پدیدآورنده : Zohar Manna, Richard Waldinger
موضوع : Electronic digital computers--Programming,Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. The logical basis for computer programming
المؤلف: Manna, Zohar
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35595
1985
11. The logical basis for computer programming
المؤلف: Manna, Zohar
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Electronic digital computers- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35595
1985
